Merge branch 'paned-no-grab' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Mon, 18 Mar 2019 11:50:42 +0000 (11:50 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 18 Mar 2019 11:50:42 +0000 (11:50 +0000)
paned: Don't use a grab

See merge request GNOME/gtk!644


Trivial merge